361. Parallel execution of logic programs : ICLP'91 Pre- Conference workshop, Paris, June 24, 1991 : proceedings
پدیدآورنده : A. Beaumont, G. Gupta )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Parallel processing )Electronic computers(,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
569
362. Parallel logic programming
پدیدآورنده :
موضوع : Parallel programming )Computer science(,Logic programming
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
363. Parallel logic programming in PARLOG : the language and its implementation
پدیدآورنده : Gregory, Steve.
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع : ، PARLOG )Computer program language(,، Logic programming,، Parallel programming )Computer science(
364. Parallel logic programming in parlog : the language & its implementation
پدیدآورنده : Gregory, Steve
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : PARLOG )Computer program language( , Logic programming , Parallel programming )Computer science(
رده :
QA
76
.
73
.
P194
G74
365. Parallel logic programming techniques
پدیدآورنده : Taylor, Stephen
موضوع : ، Parallel processing )Electronic computers(,، Logic programming
۴ نسخه از این کتاب در ۴ کتابخانه موجود است.
366. Principles and Practice of Constraint Programming
پدیدآورنده : \ Gilles Pesant (ed.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Constraint programming (Computer science) -- Congresses,Mathematical Logic and Formal Languages.,برنامه نویسی قیدی (کامپیوتر) -- کنگره ها,منطق ریاضی و زبان های صوری
رده :
QA
76
.
612
.
C7P7
2015
E-Book
,
367. Principles of logic and logic programming /
پدیدآورنده : G. Metakides, A. Nerode ; with the cooperation of A. Sinachopoulos.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic programming.,Logic, Symbolic and mathematical.,Logique symbolique et mathématique.,Programmation logique.,COMPUTERS-- Programming Languages-- General.,Logic programming.,Logic, Symbolic and mathematical.,Logisch programmeren.
رده :
QA76
.
63
.
M473
1996eb
368. Probabilistic inductive logic programming
پدیدآورنده : Luc De Raedt ... [et al.]& (eds.)
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Logic programming,Machine learning,Stochastic processes
رده :
QA
،
76
.
63
،.
P69
،
2008
369. Proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Computer science,Congresses ، Computer programming,Congresses ، Logic, Symbolic and mathematical,Correctness ، Computer programs
رده :
QA
75
.
5
.
S9574a
370. Proceedings ... Symposium on Computer Arithmetic
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Computer arithmetic,Congresses ، Computer programming,Congresses ، Floating-point arithmetic,Congresses ، Computer arithmetic and logic units
رده :
QA
76
.
9
.
C62
.
S95a
371. Process Algebra for Parallel and Distributed Processing
پدیدآورنده :
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Mathematics, Computing: Professional & Programming, Algebra, Computer architecture & logic design, Computing: general, Programming languages, Mathematics, Programming Languages - General,، Science
372. Program development in computational logic : a decade of research advances in logic-based program development
پدیدآورنده : Maurice Bruynooghe, Kung-Kiu Lau )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic programming,Congresses ، Computer programming,Congresses ، Computer logic
رده :
QA
76
.
L28
Vol
.
3049
373. Programming in PARLOG
پدیدآورنده : Conlon, Tom, 4591-
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع : ، PARLOG )Computer program language(,، Logic programming,، Parallel programming )Computer science(
374. Programming in parlog
پدیدآورنده : CONLON,TOM
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : PARLOG )COMPUTER PROGRAM LANGUAGE( , LOGIC PROGRAMMING , PARALLEL PROGRAMMING )COMPUTER
رده :
QA
76
.
73
.
P194
C66
375. Programming language implementation and logic programming :
پدیدآورنده : P. Deransart, J. Małuszyński, eds.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic programming, Congresses.,Programming languages (Electronic computers), Congresses.
رده :
QA76
.
7
.
I59
1990
376. Programming language implementation and logic programming : International Workshop PLILP'90, Linkنping, Sweden, August 20-22, 1990 : proceedings
پدیدآورنده : P. Deransart, J. Maluszynski, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Programming languages )Electronic computers(,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
456
377. Programming language implementation and logic programming : proceedings
پدیدآورنده : International Workshop PLILP '09 )0991: Linkoping, Sweden(
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Programming languages )Electronic computers(-- Congresses,، Logic programming-- Congresses
رده :
QA
76
.
7
.
I59
1990
378. Programming language implementation and logic programming : 3rd International Symposium, PLILP'91, Passau,Germany, August 26-28, 1991 :proceedings
پدیدآورنده : J. Maluszynski, M. Wirsing, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Programming languages )Electronic computers(,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
528
379. Programming language implementation and logic programming : 3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Programming languages )Electronic computers(-- Congresses,، Logic programming-- Congresses
رده :
QA
76
.
7
.
I5773
1991
380. Programming language implementation and logic programming : 4th International Symposium, Leuven, Belgium, 1992 : proceedings
پدیدآورنده : M. Bruynooghe, M. Wirsing )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Programming languages )Electronic computers(,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
631
